A Grammar-Based Approach to Class Diagram Validation
نویسندگان
چکیده
The UML has grown in popularity as the standard modeling language for describing software applications. However, UML lacks the formalism of a rigid semantics, which can lead to ambiguities in understanding the specifications. We propose a grammar-based approach to validating class diagrams and illustrate this technique using a simple case-study. Our technique involves converting UML representations into an equivalent grammar form, and then using existing language transformation and development tools to assist in the validation process. A string comparison metric is also used which provides feedback, allowing the user to modify the original class diagram according to the functionality desired.
منابع مشابه
Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...
متن کاملComparing confidence-based and conventional scoring methods: The case of an English grammar class
This study aimed at investigating the reliability, predictive validity, and self-esteem and gender bias of confidence-based scoring. This is a method of scoring in which the test takers receive a positive or negative point based on their rating of their confidence in an answer. The participants, who were 49 English-major students taking their grammar course, were given 8 multiple-choice tests d...
متن کاملA Meta-Modeling and Graph Grammar Approach for Modeling and analysis of e-entrepreneurship systems
UML provides standard abstractions to simplify the documentation, understanding, and maintenance of object oriented complex software systems. UML sequence diagrams are used to describe the behaviors of systems. However, UML is a semi-formal language that lacks tools for analysis and validation of user requirements. In other hand, Petri Nets models are tools for the validation and performance an...
متن کاملRealizing UML Model Transformations with USE
The USE (UML-based Speci cation Environment) tool has been successfully applied for model validation in the past. In our current work, we are enriching the USE speci cation language with imperative elements. We employ this extension as an assembler to realize UML model (class diagram) transformations with USE in a exible way: UML transformations are described using a custom abstract language ba...
متن کاملExecutable Aspect Oriented Models for Improved Model Testing
Design validation is important for detecting errors early in the development life cycle. Testing the design is one significant means to achieve design validation. In this paper we introduce the KerTheme model. KerTheme provides a means symmetrically decomposing concern based executable class diagrams and concern test scenarios. KerTheme also facilitates simultaneous merging of these decomposed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005